From: Arnaud Bonatti Date: Wed, 13 Feb 2019 12:23:47 +0000 (+0100) Subject: Add a Taquin renamed desktop id. X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~888^2^2~115 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=9620bd0f225bb844c8541c29b81aa1764986ce20;p=gnome-shell.git Add a Taquin renamed desktop id. Taquin is org.gnome.Taquin. --- diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js index 51787270d..a80504c31 100644 --- a/js/ui/appFavorites.js +++ b/js/ui/appFavorites.js @@ -44,6 +44,7 @@ const RENAMED_DESKTOP_IDS = { 'iagno.desktop': 'org.gnome.Reversi.desktop', 'nautilus.desktop': 'org.gnome.Nautilus.desktop', 'org.gnome.gnome-2048.desktop': 'org.gnome.TwentyFortyEight.desktop', + 'org.gnome.taquin.desktop': 'org.gnome.Taquin.desktop', 'org.gnome.Weather.Application.desktop': 'org.gnome.Weather.desktop', 'polari.desktop': 'org.gnome.Polari.desktop', 'totem.desktop': 'org.gnome.Totem.desktop',